Matemática Discreta (1 º Sem Ano Lectivo 2024)ProgramaMatemática Discreta Licenciatura ISUTC em Licenciatura em Engenharia e Ciência dos ComputadoresPrograma
1.Elementos da teoria de conjuntos
−Operações sobre conjuntos −Relações binárias −Funções 2.Somatórios −Somatório e produto. −Indução matemática. 3.Elementos de lógica matemática −Cálculo proposicional. −Métodos de demonstração −Álgebra de Boole 4.Relações de recorrência −Definição de uma relação de recorrência −Fórmula geral de uma relação de recorrência 5.Algoritmos −Algoritmos recursivos −Complexidade 6.Aritmética modular −Congruências lineares −Teorema Chinês. 7.Grafos −Definição, representação e tipos de grafos −Conectividade e caminho num grafo. Grafos eulerianos e hamiltonianos. 8.Linguagens e autómatos −Linguagens formais. −Autómatos: teoria e classificação dos autómatos |
|||||
